# Copyright 2021, Régis Décamps
# SPDX-License-Identifier: BSD-3-Clause

load("//third_party/org/checkerframework:build_defs.bzl", "java_library_with_nullness_check")

java_library_with_nullness_check(
    name = "state",
    srcs = [
        "StateSet.java",
        "StateSetEnumerator.java",
    ],
    visibility = ["//jflex:__subpackages__"],
    deps = [
        "//jflex/src/main/java/jflex/logging",
        "//third_party/javax:jsr305",
    ],
)
